Model checking

نویسندگان
چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Checking & Distributing Statistical Model Checking

In this paper we propose a general framework for distributed statistical model checking of networks of priced timed automata. The first contribution is a new algorithm to distribute sequential hypothesis testing without introducing bias in the results. The second contribution is an implementation of this algorithm in Uppaal. The major contribution is an experimental and analytical evaluation of...

متن کامل

Model Checking

We would like to thank Professor Loh and Professor Gelman for their thoughtful comments. Some of the detailed points that the discussants bring up remind us to emphasize that in many regards our article offers only an overview of the scientific questions we aim to address and of the methods, models, and algorithms that we employ. Some technical details are omitted in the interest of readability...

متن کامل

Model Checking

Model checking is an effective way of comparing a system description against its formal specification and search systematically for errors. The method is gaining a lot of success by being integrated in the hardware design process, and in development of complicated protocols and software. Being an intractable problem, model checking is the ground for very active research that is inspired by many...

متن کامل

Model Checking

ion techniques Basics Predicate Abstraction Extensions for liveness

متن کامل

Cuda Accelerated Ltl Model Checking Cuda Accelerated Ltl Model Checking *

Recent technological developments made available various many-core hardware platforms. For example, a SIMD-like hardware architecture became easily accessible for many users who have their computers equipped with modern NVIDIA GPU cards with CUDA technology. In this paper we redesign the maximal accepting predecessors algorithm [7] for LTL model checking in terms of matrix-vector product in ord...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Communications of the ACM

سال: 2009

ISSN: 0001-0782,1557-7317

DOI: 10.1145/1592761.1592781